TSTP Solutions to: LCL693^1